Trait isotope::prelude::OptionalValue[][src]

pub trait OptionalValue: Substitute + Cons {
    fn annot_opt(&self) -> Option<AnnotationRef<'_>>;
fn is_local_ty(&self) -> Option<bool>;
fn universe_opt(&self) -> Option<Universe>;
fn code(&self) -> Option<Code>;
fn untyped_code(&self) -> Option<Code>;
fn load_flags_opt(&self) -> Option<TyckFlags>;
fn eq_in_opt(
        &self,
        other: &Self,
        ctx: &mut impl TermEqCtxMut + ?Sized
    ) -> Option<bool>; }
Expand description

A convenience trait implemented by Option<V> where V is a value

Required methods

Get the type annotation of this term, or None if this term is None

Get whether this term is a type in all contexts, or None if this term is None

Get whether this term has a universe in all contexts, or None if this term is None

Get the hash-code of this term, or None if this term is None

Get the hash-code of this term if it was untyped, or None if this term is None

Load this term’s current flags, or None if this term is None

Whether two optional terms are equal

Implementations on Foreign Types

Implementors